鈴木佑京; "ゲンツェンの洞察 ― 証明は列か, ツリーか？"

メモ

1. 証明はそれ自体数学的構造を持つ数学的対象である。

2. 証明は、その「真の姿」（正規形）に向かって計算することができるプログラムである。

3. 論理を定式化する方法は複数存在し、それぞれ異なった証明論的性質を持つ。